Behavioural Model Fusion: Experiences from Two Telecommunication Case Studies

نویسندگان

  • Shiva Nejati
  • Marsha Chechik
چکیده

In large-scale model-based development, developers periodically need to combine collections of interrelated models. These models may capture different features of a system, describe alternative perspectives on a single feature, or express ways in which different features may alter one another’s structure or behaviour. We refer to the process of combining a set of interrelated models as model fusion. In this position paper, we provide an overview of our work on two key fusion activities, merging and composition, for behavioural models. The practical basis of our work comes from two case studies that we conducted using models from the telecommunications domain. We illustrate our work using these case studies, summarize the results our research has led to so far, and describe the future research challenges.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Connectivity and energy-aware preorders for mobile ad-hoc networks

Network connectivity and energy conservation are two major goals in mobile ad-hoc networks (MANETs). In this paper we propose a probabilistic, energy-aware, broadcast calculus for the analysis of both such aspects of MANETs. We first present a probabilistic behavioural congruence together with a co-inductive proof technique based on the notion of bisimulation. Then we define an energy-aware pre...

متن کامل

Comparison of Organizational Social Cohesion Model between Telecommunication of Isfahan and Shahid Montazeri Power Plant

The present research has been conducted in two quantitative and qualitative sections. In the qualitative section, and based on Grounded Theory, the organizational social coherence model was presented. In the quantitative section, the data obtained from the questionnaires was analyzed at two levels of descriptive and inferential statistics including structural equations and through the SPSS and ...

متن کامل

Providing a Multidimensional Measurement Model for Assessing Mobile Telecommunication Service Quality (MS-Qual)

Because of the need to develop specific measurement scales for different services industries, this study aimed to empirically develop a reliable and valid model specifically for measuring mobile telecommunication service quality. A multidimensional measurement model (MS-Qual) has been proposed based on an extensive literature review and then, to assess the model validity, convergent and discrim...

متن کامل

An Analysis of the Behaviour of Citizens in People-oriented Suburban Spaces By using Pearson Correlation Coefficient; (Case study: the Centre of Sultan Mir Ahmad Neighbourhood, Kashan)

Studies conducted in the field of behaviour show that the necessity of noticing and determining urban space behaviour in field studies as well as surveys on dynamic small spaces is undeniable. Small urban spaces, including people-oriented spaces, involve social interactions. This study aims to consider the effect of small urban spaces on the volume of people’s social interactions and participat...

متن کامل

Assessment of Trend and Seasonality in Road Accident Data: An Iranian Case Study

Background Road traffic accidents and their related deaths have become a major concern, particularly in developing countries. Iran has adopted a series of policies and interventions to control the high number of accidents occurring over the past few years. In this study we used a time series model to understand the trend of accidents, and ascertain the viability of applying ARIMA models on data...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008